null(${\it as}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$rec{-}case(${\it as}$) of [] =$>$ tt $\mid$ $a$::${\it as'}$ =$>$ .ff